Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

差分吸收光谱法测量大气污染的测量误差分析

差分吸收光谱技术被广泛地应用于测量大气中微量元素的浓度，尽管该技术利用最小二乘法来反演待测气体的浓度，能够得到很高的测量精度。但是，由于仪器本身的噪声以及测量波段其它气体的干扰等，使得仪器的测量有一定的误差，而且上述因素还决定着仪器的测量下限。对差分吸收光谱方法的测量误差以及引起误差的原因作了详细的分析。     

On Direct Transformation Approach to Asymptotical Analytical Solutions of Perturbed Partial Differential Equation

In this article, we will derive an equality, where the Taylor series expansion around ε = 0for any asymptotical analytical solution of the perturbed partial differential equation (PDE) with perturbing parameter ε must be admitted.By making use of the equality, we may obtain a transformation, which directly map the analytical solutions of a given unperturbed PDE to the asymptotical analytical solutions of the corresponding perturbed one. The notion of Lie-B(a)cklund symmetries is introduced in order to obtain more transformations. Hence, we can directly create more transformations in virtue of known Lie-B(a)cklund symmetries and recursion operators of corresponding unperturbed equation. The perturbed Burgers equation and the perturbed Korteweg-de Vries (KdV) equation are used as examples.     

受激发射损耗荧光显微镜的模型设计及参量优化

受激发射损耗荧光显微镜利用荧光饱和和激发态荧光受激损耗的非线性关系,通过限制损耗区域,可突破远场光学显微术的衍射极限分辨力并实现三维成像。基于对粒子速率方程组的修正,建立了描述荧光团各能级粒子数概率时间特性的模型,并定义了时间平均损耗效率判据。采用高斯函数模拟两束入射激光脉冲通过对模型的数值计算,模拟了激发脉冲的SIED激光脉冲的光强、脉冲宽度以及两束光的延迟时间等参量与损耗效率之间的关系,并获得了各参量的最佳值,优化了损耗效率,为提高系统分辨力提供了有效的途径。     

饮酒驾车模型

据统计,我国每天困饮酒过量而产生的车祸竟达交通事故伤亡总人数的50%-60%,酒后驾车的问题已经引起了社会各界的高度重视.为此本文建立了酒后血液中酒精含量的房室数学模型,从而为司机饮酒驾车提供合理的忠告和建议.     

Propagation of the Hermite–Gaussian beams through misaligned optical system with a circular aperture

By means of expanding a hard-edged aperture into a finite sum of complex Gaussian functions, the approximate analytical formula of one kind of higher-order Gaussian beams called the Hermite–Gaussian beams (HGBs) passing through circular apertured and misaligned optical system is obtained in this paper. The result provides more convenience for studying its propagation than the usual way by using diffraction integral directly. Some numerical simulations are also given for illustrating the propagation properties of the HGBs through the circular apertured optical systems.     

Numerical solution of the three‐dimensional parabolic equation with an integral condition

Developement of numerical methods for obtaining approximate solutions to the three dimensional diffusion equation with an integral condition will be carried out. The numerical techniques discussed are based on the fully explicit (1,7) finite difference technique and the fully implicit (7,1) finite difference method and the (7,7) Crank‐Nicolson type finite difference formula. The new developed methods are tested on a problem. Truncation error analysis and numerical examples are used to illustrate the accuracy of the new algorithms. The results of numerical testing show that the numerical methods based on the finite difference techniques discussed in the present article produce good results. © 2002 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 18: 193–202, 2002; DOI 10.1002/num.1040     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

基于MATLAB(SIMULINK)的电弧炉电极调节系统FUZZY-PD控制器的仿真

介绍了采用MATLAB V5.2提供的模糊逻辑工具箱来设计研究电孤纺电极调节系统中的模糊－－PD控制器，讨论了在SIMULINK环境下模糊－PD控制器的参数自调速原理、结构、建立模糊控制规则库和模糊推论方法，并给出仿真结果与结论。     

醇+N-甲基哌嗪二元体系的体积性质

采用振荡管式数字密度计分别测定甲醇、乙醇、正丙醇、异丙醇、丁正醇和异丁醇与N-甲基哌嗪组成的二元体系在298.15K下的密度，计算了超额摩尔体积、超额偏摩尔体积、表观摩尔体积、偏摩尔体积等体积性质，从分子相互作用角度讨论了这些二元体系的体积性质的变化规律，为N-甲基哌嗪的开发和研究提供基础数据和信息。